61 research outputs found
Using cylindrical algebraic decomposition and local Fourier analysis to study numerical methods: two examples
Local Fourier analysis is a strong and well-established tool for analyzing
the convergence of numerical methods for partial differential equations. The
key idea of local Fourier analysis is to represent the occurring functions in
terms of a Fourier series and to use this representation to study certain
properties of the particular numerical method, like the convergence rate or an
error estimate.
In the process of applying a local Fourier analysis, it is typically
necessary to determine the supremum of a more or less complicated term with
respect to all frequencies and, potentially, other variables. The problem of
computing such a supremum can be rewritten as a quantifier elimination problem,
which can be solved with cylindrical algebraic decomposition, a well-known tool
from symbolic computation.
The combination of local Fourier analysis and cylindrical algebraic
decomposition is a machinery that can be applied to a wide class of problems.
In the present paper, we will discuss two examples. The first example is to
compute the convergence rate of a multigrid method. As second example we will
see that the machinery can also be used to do something rather different: We
will compare approximation error estimates for different kinds of
discretizations.Comment: The research was funded by the Austrian Science Fund (FWF): J3362-N2
A robust multigrid method for the time-dependent Stokes problem
In the present paper we propose an all-at-once multigrid method for generalized Stokes flow problems. Such problems occur as subproblems in implicit time-stepping approaches for time-dependent Stokes problems. The discretized optimality system is a large scale linear system whose condition number depends on the grid size of the spacial discretization and of the length of the time step. Recently, for this problem an all-at-once multigrid method has been proposed, where in each smoothing step the Poisson problem has to be solved (approximatively) for the pressure field. In the present paper, we propose an all-at-once multigrid method where the solution of such subproblems is not needed. We prove that the proposed method shows robust convergence behavior in the grid size of the spacial discretization and of the length of the time-step
A robust all-at-once multigrid method for the Stokes control problem
In this paper we present an all-at-once multigrid method for a distributed Stokes control problem (velocity tracking problem). For solving such a problem, we use the fact that the solution is characterized by the optimality system (Karush-Kuhn-Tucker-system). The discretized optimality system is a large-scale linear system whose condition number depends on the grid size and on the choice of the regularization parameter forming a part of the problem. Recently, block-diagonal preconditioners have been proposed, which allow to solve the problem using a Krylov space method with convergence rates that are robust in both, the grid size and the regularization parameter or cost parameter. In the present paper, we develop an all-at-once multigrid method for a Stokes control problem and show robust convergence, more precisely, we show that the method converges with rates which are bounded away from one by a constant which is independent of the grid size and the choice of the regularization or cost parameter
- …